Higher-Dimensional Algebra IV: 2-Tangles
نویسندگان
چکیده
Just as knots and links can be algebraically described as certain morphisms in the category of tangles in 3 dimensions, compact surfaces smoothly embedded in R4 can be described as certain 2-morphisms in the 2-category of ‘2-tangles in 4 dimensions’. Using the work of Carter, Rieger and Saito, we prove that this 2-category is the ‘free semistrict braided monoidal 2-category with duals on one unframed self-dual object’. By this universal property, any unframed self-dual object in a braided monoidal 2-category with duals determines an invariant of 2-tangles in 4 dimensions.
منابع مشابه
ar X iv : m at h / 98 11 13 9 v 2 [ m at h . Q A ] 6 J ul 1 99 9 Higher - Dimensional Algebra IV : 2 - Tangles
Just as knots and links can be algebraically described as certain morphisms in the category of tangles in 3 dimensions, compact surfaces smoothly embedded in R4 can be described as certain 2-morphisms in the 2-category of ‘2-tangles in 4 dimensions’. Using the work of Carter, Rieger and Saito, we prove that this 2-category is the ‘free semistrict braided monoidal 2-category with duals on one un...
متن کاملar X iv : m at h / 98 11 13 9 v 1 [ m at h . Q A ] 2 4 N ov 1 99 8 Higher - Dimensional Algebra IV : 2 - Tangles
Just as knots and links can be algebraically described as certain morphisms in the category of tangles in 3 dimensions, compact surfaces smoothly embedded in R4 can be described as certain 2-morphisms in the 2-category of ‘2-tangles in 4 dimensions’. Using the work of Carter, Rieger and Saito, we prove that this 2-category is the ‘free semistrict braided monoidal 2-category with duals on one un...
متن کاملar X iv : q - a lg / 9 60 90 18 v 2 2 2 O ct 1 99 6 Higher - Dimensional Algebra II : 2 - Hilbert Spaces
A 2-Hilbert space is a category with structures and properties analogous to those of a Hilbert space. More precisely, we define a 2-Hilbert space to be an abelian category enriched over Hilb with a ∗-structure, conjugate-linear on the hom-sets, satisfying 〈fg, h〉 = 〈g, f∗h〉 = 〈f, hg∗〉. We also define monoidal, braided monoidal, and symmetric monoidal versions of 2-Hilbert spaces, which we call ...
متن کاملHigher-Dimensional Algebra II: 2-Hilbert Spaces
A 2-Hilbert space is a category with structures and properties analogous to those of a Hilbert space. More precisely, we deene a 2-Hilbert space to be an abelian category enriched over Hilb with a-structure, conjugate-linear on the hom-sets, satisfying hf g; hi = hg; f hi = hf; hg i. We also deene monoidal, braided monoidal, and symmetric monoidal versions of 2-Hilbert spaces, which we call 2-H...
متن کاملar X iv : h ep - t h / 00 02 10 9 v 1 1 4 Fe b 20 00 The 3 + 1 - dimensional analogue of the Virasoro algebra
The manifest expression for a (Virasoro-like) infinite-dimensional generalization of the 3 + 1-dimensional conformal algebra so(4, 2) is presented in this letter. It provides the arena for integrable models of Anti-de Sitter and conformal gauge theories of higher-generalized-spin fields in realistic dimensions.
متن کامل